operator precedence in prolog